Ordinal arithmetic - PDFSEARCH.IO - Document Search Engine

Ordinal arithmetic
Results: 131

#	Item
41	Resource Bound Certification Karl Crary Stephanie Weirich Carnegie Mellon University Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:49:28 Computability theory Deduction Proof theory Entailment Logical consequence Metalogic Ordinal number Lambda calculus Ordinal arithmetic Logic Mathematical logic Mathematics
42	MLL normalization and transitive closure: circuits, complexity, and Euler tours Harry Mairson Problem: Given a proofnet in multiplicative linear Add to Reading List Source URL: www.cs.brandeis.edu Language: English - Date: 2008-03-28 12:21:03 Logic Ordinal numbers Set theory Curry–Howard correspondence Dependently typed programming Type theory Ordinal arithmetic Mathematical logic Proof theory Mathematics
43	TOWARDS MECHANICAL LEVEL OF DETAIL FOR KNITWEAR SIMULATION Olivier Nocent, Jean-Michel Nourrit, Yannick Remion Laboratoire d’Etudes et de Recherches Informatiques, Université de Reims Champagne-Ardenne, Rue des crayè Add to Reading List Source URL: wscg.zcu.cz Language: English - Date: 2000-12-22 08:51:42 Ordinal numbers Proof theory Fast-growing hierarchy Ordinal arithmetic Mathematical logic Mathematics Continuous function
44	Heylighen F[removed]): "A Structural Language for the Foundations of Physics", International Journal of General Systems 18, p[removed]A Structural Language for the Foundations of Physics FRANCIS HEYLIGHEN Add to Reading List Source URL: cleamc11.vub.ac.be Language: English - Date: 2014-05-02 12:27:43 Constructible universe Ordinal number Quantum logic Dimensionless physical constant Function Abstraction Net Predicate Ordinal arithmetic Mathematics Mathematical logic Logic
45	Heylighen F[removed]): "A Structural Language for the Foundations of Physics", International Journal of General Systems 18, p[removed]A Structural Language for the Foundations of Physics FRANCIS HEYLIGHEN Add to Reading List Source URL: cleamc11.vub.ac.be Language: English - Date: 2014-05-02 12:27:43 Constructible universe Ordinal number Quantum logic Dimensionless physical constant Function Abstraction Net Predicate Ordinal arithmetic Mathematics Mathematical logic Logic
46	Resource Bound Certification Karl Crary Stephanie Weirich Carnegie Mellon University Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-11-01 14:35:06 Computability theory Deduction Proof theory Entailment Logical consequence Metalogic Ordinal number Lambda calculus Ordinal arithmetic Logic Mathematical logic Mathematics
47	Computational Interpretations of Analysis via Products of Selection Functions Mart´ın Escard´o1 and Paulo Oliva2 1 2 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2010-03-29 11:53:24 Mathematics Constructible universe Symbol Ε₀ Ordinal arithmetic Mathematical logic Proof theory Ordinal numbers
48	Heylighen F[removed]): "A Structural Language for the Foundations of Physics", International Journal of General Systems 18, p[removed]A Structural Language for the Foundations of Physics FRANCIS HEYLIGHEN Add to Reading List Source URL: pcp.vub.ac.be Language: English - Date: 2014-05-02 12:27:43 Constructible universe Ordinal number Quantum logic Dimensionless physical constant Function Abstraction Net Predicate Ordinal arithmetic Mathematics Mathematical logic Logic
49	Heylighen F[removed]): "A Structural Language for the Foundations of Physics", International Journal of General Systems 18, p[removed]A Structural Language for the Foundations of Physics FRANCIS HEYLIGHEN Add to Reading List Source URL: pcp.vub.ac.be Language: English - Date: 2014-05-02 12:27:43 Constructible universe Ordinal number Quantum logic Dimensionless physical constant Function Abstraction Net Predicate Ordinal arithmetic Mathematics Mathematical logic Logic
50	RECOVERY OF A SURFACE WITH BOUNDARY AND ITS CONTINUITY AS A FUNCTION OF ITS TWO FUNDAMENTAL FORMS PHILIPPE G. CIARLET AND CRISTINEL MARDARE Abstract. If a field A of class C 2 of positive-definite symmetric matrices of o Add to Reading List Source URL: www6.cityu.edu.hk Language: English - Date: 2005-10-27 23:04:40 Constructible universe Ordinal numbers Connection Differential geometry Limit set Ordinal arithmetic Mathematics Mathematical analysis Symbol